Local completeness and dual local quasi-completeness
نویسندگان
چکیده
منابع مشابه
Completeness and quasi-completeness
The appropriate general completeness notion for topological vector spaces is quasi-completeness. There is a stronger general notion of completeness, which proves to be too strong in general. For example, the appendix shows that weak-star duals of infinite-dimensional Hilbert spaces are quasi-complete, but never complete in the stronger sense. Quasi-completeness for Fréchet spaces is ordinary me...
متن کاملQuery Optimization Using Local Completeness
We consider the problem of query plan optimization in information brokers. Information brokers are programs that facilitate access to collections of information sources by hiding source-speciic peculiarities and presenting uniform query interfaces. It is unrealistic to assume that data stored by information sources is complete. Therefore, current implementations of information brokers query all...
متن کاملLocal Causality and Completeness: Bell vs. Jarrett
J.S. Bell believed that his famous theorem entailed a deep and troubling conflict between the empirically verified predictions of quantum theory and the notion of local causality that is motivated by relativity theory. Yet many physicists continue to accept, usually on the reports of textbook writers and other commentators, that Bell’s own view was wrong, and that, in fact, the theorem only bri...
متن کاملQuery Optimization Using Local Completeness Oliver
We consider the problem of query plan optimization in information brokers. Information brokers are programs that facilitate access to collections of information sources by hiding source-speci c peculiarities and presenting uniform query interfaces. It is unrealistic to assume that data stored by information sources is complete. Therefore, current implementations of information brokers query all...
متن کاملCompleteness for Algebraic Theories of Local State
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise to equations between programs in the meta-language. An interesting question is this: to what extent can we put equational reasoning for programs into the algebraic theory for the monad? In this paper I focus on local s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2000
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-00-05717-8